Logtalk 3 User Manual User Manual Logtalk Features Logtalk Nomenclature Message Sending Ii Logtalk User Manual Predicates Inheritance Event-driven Programming Multi-threading Programming Iv Logtalk User Manual Error Handling Documenting Logtalk Programs Installing Logtalk Writing, Running, and Debugging Logtalk Programs

Logtalk 3 User Manual User Manual Logtalk Features Logtalk Nomenclature Message Sending Ii Logtalk User Manual Predicates Inheritance Event-driven Programming Multi-threading Programming Iv Logtalk User Manual Error Handling Documenting Logtalk Programs Installing Logtalk Writing, Running, and Debugging Logtalk Applications

Logtalk: Object-Oriented Programming in Prolog

Logtalk is an object oriented extension to the Prolog programming language. It is based on a re exive architecture aimed at obtaining an open system, easily tailored to user needs. It implements single inheritance and a delegation mechanism. Logtalk enables users to de ne new types of slots, each one with its own semantics, that can be reused by any object. It includes features for event-based ...

Coinductive Logic Programming

We describe the implementation of coinductive logic programming found in Logtalk, discussing its features and limitations. As Logtalk uses as a back-end compiler a compatible Prolog system, we discuss the status of key Prolog features for an efficient and usable implementation of coinduction.

L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory

We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of alphabets, the definition of orders over alphabet symbols, the partial definition of languages using unit tests, and the definition of mechanisms, which implement language generators or language recognizers. Supported mechanisms include predicates, regular expressions, fini...

High Level Thread-Based Competitive Or-Parallelism in Logtalk

This paper presents the logic programming concept of threadbased competitive or-parallelism, which combines the original idea of competitive or-parallelism with committed-choice nondeterminism and speculative threading. In thread-based competitive or-parallelism, an explicit disjunction of subgoals is interpreted as a set of concurrent alternatives, each running in its own thread. The individua...